and Logic

Results: 11835



#Item
301

A Logic-Based Framework for Reactive Systems Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,}

Add to Reading List

Source URL: www.doc.ic.ac.uk

- Date: 2012-06-12 08:05:15
    302

    EPISODIC LOGIC: NATURAL LOGIC + REASONING Karl Stratos, Lenhart K. Schubert, and Jonathan Gordon Department of Computer Science, University of Rochester, Rochester, New York 14627, USA {jlee164, schubert, jgordon}@cs.roc

    Add to Reading List

    Source URL: cs.rochester.edu

    - Date: 2011-08-30 11:13:20
      303

      Probabilistic Constraint Logic Theories Marco Alberti1 , Elena Bellodi2 , Giuseppe Cota2 , Evelina Lamma2 , Fabrizio Riguzzi1 , and Riccardo Zese2 1 Dipartimento di Matematica e Informatica – University of Ferrara

      Add to Reading List

      Source URL: ceur-ws.org

      - Date: 2016-08-12 03:27:47
        304

        Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos

        Add to Reading List

        Source URL: www.lix.polytechnique.fr

        - Date: 2015-10-19 12:38:16
          305

          Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection Paul Tarau1 1 Department of Computer Science and Engineering

          Add to Reading List

          Source URL: logic.cse.unt.edu

          - Date: 2012-10-26 11:14:39
            306

            Ancient Self-Refutation: The Logic and History of the Self-Refutation Argument from Democritus to Augustine. By Luca Castagnoli Ancient Self-Refutation: The Logic and History of the Self-Refutation Argument from Democrit

            Add to Reading List

            Source URL: www.nyu.edu

            - Date: 2012-10-06 03:25:44
              307

              Planning as Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon, Alan Smaill, and Alan Bundy {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk University of Edinburgh, Informatics, UK

              Add to Reading List

              Source URL: homepages.inf.ed.ac.uk

              - Date: 2006-10-18 10:00:12
                308

                A Higher-Order Logic for Concurrent Termination-Preserving Refinement Joseph Tassarotti1 , Ralf Jung2 , and Robert Harper1 1 Carnegie Mellon University, Pittsburgh, USA

                Add to Reading List

                Source URL: people.mpi-sws.org

                - Date: 2016-10-22 08:05:55
                  309

                  Using Crash Hoare Logic for Certifying the FSCQ File System Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich MIT CSAIL Abstract

                  Add to Reading List

                  Source URL: pdos.csail.mit.edu

                  - Date: 2016-12-17 14:43:18
                    UPDATE